CLARE: A Contextual Reasoning and Cooperative Response Framework for the Core Language Engine
نویسندگان
چکیده
call(X=Y) :X = Y, !. abstract_call(_X=_Y) :!. abstract_call(G) :call_pattern(G,InArgs,OutArgs), is_instantiated(InArgs), make_instantiated(OutArgs). Figure 9.4: Interpreter for finding finite proof strategies 174 CLARE final report primitive. The arguments of the main predicates rearrange0 and rearrange1 are rearrange0/1(Original,Rearranged,Eval,Frozen,Done)
منابع مشابه
The Impact of Contextual Clue Selection on Inference
Linguistic information can be conveyed in the form of speech and written text, but it is the content of the message that is ultimately essential for higher-level processes in language comprehension, such as making inferences and associations between text information and knowledge about the world. Linguistically, inference is the shovel that allows receivers to dig meaning out from the text with...
متن کاملContextual Support for Remote Cooperative Troubleshooting: Lessons From a Naturalistic Study
Distributed troubleshooting often requires experts to support non-experts at a distance. The resulting separation between collaborators can impoverish their understanding of each other’s task contexts, impeding their collaboration. Consequently, this paper argues that developing effective troubleshooting support systems requires determining (1) what contextual information the participants requi...
متن کاملEthnomethodology and Conversational Analysis
In a speech community, people utilize their communicative competence which they have acquired from their society as part of their distinctive sociolinguistic identity. They negotiate and share meanings, because they have commonsense knowledge about the world, and have universal practical reasoning. Their commonsense knowledge is embodied in their language. Thus, not only does social life depend...
متن کاملARTIMIS: Natural Dialogue Meets Rational Agency
We present an effective generic communicating rational agent, ARTIMIS, and its application to cooperative spoken dialogue. ARTIMIS ' kernel is the implementation of a formal theory of interaction. This theory involves a set of generic axioms which models, in a homogeneous logical framework, principles of rational behaviour, communication, and cooperation. The theory is interpreted by a specific...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/cmp-lg/9411002 شماره
صفحات -
تاریخ انتشار 1992